direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Matching in the Pi-Calculus (Technical Report)
Zitatschlüssel journals/corr/PetersYN14
Autor Peters, Kirstin and Yonova-Karbe, Tsvetelina and Nestmann, Uwe
Jahr 2014
Journal CoRR
Jahrgang abs/1407.6406
Monat 7
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe